logical checking

逻辑检验